/*************************************************************************
	> File Name: maxTomin.c
	> Author:
	> Mail:
	> Created Time: 2017年02月04日 星期六 14时07分14秒
 ************************************************************************/

#include<stdio.h>
#include <stdlib.h>
#include<klee/klee.h>
#include "klee_change_macros.h"
void next(int a,int b,char *ss){
    if(klee_change(a>b,a<4))
    {
        FILE *ff=fopen("file","w+");
          fprintf(ff,"%s",ss);
          fclose(ff);
    }
    else
        printf("%s", ss);

}
void foo(int a,int b,char *ss){
    char *as="old version", *bs="new version";
    ss=(char*)klee_change(as,bs);
    next(a,b,ss);
}
int main(int argc, char* argv[]){
    int a,b,d;
    a=atoi(argv[1]);
    b=atoi(argv[2]);
    char *ss="";
    foo(a,b,ss);
    return 0;
}


